Buy Used and New Mizuhito Ogawa Books

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings: 8172 (Lecture Notes in Computer Science)

by Dang Van Hung,Mizuhito Ogawa

ISBN 13: 9783319024431

Format: Paperback (544 pages)
Publisher: Springer
Published: 11 Sep 2013

Save for later